#include "../inc/sched.h"
#include <linux/sched/clock.h>
#include <linux/sched/deadline.h>

void __set_task_cpu(struct task_struct *p, unsigned int cpu)
{

}

static inline int select_task_rq(struct task_struct *p, int cpu, int *wake_flags)
{
    return 0;
}

#if defined(CONFIG_SMP)
unsigned int task_cpu(const struct task_struct *p)
{
    //TODO
    return p->cpu;
}
#else
unsigned int task_cpu(const struct task_struct *p)
{
    return 0;
}
#endif

void set_task_cpu(struct task_struct *p, unsigned int cpu)
{
}
